International Lithosphere Program (ILP)

TopLog: ILP Using a Logic Program Declarative Bias

This paper introduces a new Inductive Logic Programming (ILP) framework called Top Directed Hypothesis Derivation (TDHD). In this framework each hypothesised clause must be derivable from a given logic program called top theory (>). The top theory can be viewed as a declarative bias which defines the hypothesis space. This replaces the metalogical mode statements which are used in many ILP syst...

Improving achievable ILP through value prediction and program profiling

This paper explores the possibility of using program profiling to enhance the efficiency of value prediction. Value prediction attempts to eliminate true-data dependencies by predicting the outcome values of instructions at run-time and executing true-data dependent instructions based on that prediction. So far, all published techniques in this area have examined hardware-only value prediction ...

International Program Committee

International Student Mobility Program (ISMP) Analysis of International Students' Challenges in Iran

In the recent decades, Internalization has been one of the most influential events in the higher education systems worldwide. And recruitment of international students, as one of the most effective strategies to achieve the goals of internationalization, has been a common solution to prevail in the competition between countries in the last decade. Therefore, studying these international stude...

International Program Committee: Co-Chairs

While many 3D scanning techniques can accurately record the geometry of sites and artifacts, a subject’s reflectance properties are often simplistically recorded as an RGB texture map. In reality, each point in a subject’s volume scatters incident illumination according to a complex 4D phase function unique to itself, yielding far richer reflectance behaviors than traditional texture acquisitio...